ES\{i\} $\subseteq\rho$ ES\{i'\}